unsigned int i;

int main(int argc, char* argv[]) {
  for (i = 7; i >= 2; i -= 9) {
  }
  printf("%u\n", i);
  return 0;
}
